LIFSCH[1,JMC] - www.SailDart.org

perm filename LIFSCH[1,JMC] blob sn#873274 filedate 1989-05-15 generic text, type C, neo UTF8

COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	ster1[lp,val]	Prolog program for sterile container, 1989 May
C00003 ENDMK
C⊗;
ster1[lp,val]	Prolog program for sterile container, 1989 May
ster2[lp,val]	Prolog program for sterile container, 1989 May
topics.tex[1,val]	Open problems on the border of logic and AI
yaf.tex[1,val]	Yet another formalization of loading and shooting